Merge Sort recurrence T(n)